MELD[3]

Moderately Expressive Logical Description

Cycorp

Another name for CycL.